$\forall$$p$,$q$:$\mathbb{B}$. ($\uparrow$($p$ $\Rightarrow_{b}$ $q$)) $\Leftarrow\!\Rightarrow$ (($\uparrow$$p$) $\Rightarrow$ ($\uparrow$$q$))